\renewcommand\theFancyVerbLine{\scalebox{1.1}{\tiny\rm\textsf{k-\arabic{FancyVerbLine}}}}
%\begin{figure}[h]
\begin{minipage}[t]{.49\textwidth}
\vspace{0pt}
%\begin{alltt}\small
\begin{verbatim}
public boolean noTransitionsFromAStopState(State state) {
  if (state.getType() == StateType.STOP) {
    return state.getStateTransitions().isEmpty();
  }
  return true;
}
\end{verbatim}
\end{minipage}
%\caption{\label{fig:kconfigsnippet}Fragment of a \kconfig model}
%\end{figure}